Weakest preconditions and cumulative subgoal fulfillment
نویسندگان
چکیده
منابع مشابه
Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison
We contrast the use of weakest preconditions for the correct construction of procedures with the cumulative subgoal fulfillment (CSF) approach. An example of Cohen and Monin is used for this purpose. The CSF construction process is demonstrated.
متن کاملApplications of Cumulative Subgoal Fulfillment to Linear Programming
We show how the CSF program design approach can be used to synthesize the classical linear programming algorithm as well as Seidel’s external algorithm.
متن کاملQuantum weakest preconditions
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between the usual state-transformer semantics and the weakest precondition semantics. Rather than trying to reduce quantum computation to probabilistic programming we develop a notion that is directly taken from concepts used ...
متن کاملEfficient Directionless Weakest Preconditions
Verification condition (VC) generation is a fundamental part of many program analysis and applications, including proving program correctness, automatic test case generation, and proof carrying code. One might imagine VC applications would use the theoretically most appealing VC generation algorithm. This is often not the case. The most theoretically appealing algorithms are based upon weakest ...
متن کاملGeneralised quantum weakest preconditions
Generalisation of the quantum weakest precondition result of D’Hondt and Panangaden is presented. In particular the most general notion of quantum predicate as positive operator valued measure (POVM) is introduced. The previously known quantum weakest precondition result has been extended to cover the case of POVM playing the role of a quantum predicate. Additionally, our result is valid in inf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2014
ISSN: 0167-6423
DOI: 10.1016/j.scico.2014.01.010